- 积之和范式
- 析取范式
- 析取正规形式
- 析榷式
- disjunctive: adj. 1.分离的，分离性的。 2.【逻辑学】选言的。 ...
- normal: adj. 1.正常的，平常的，普通的；平均的。 2.正规 ...
- form: n. 1.形态；形状；样子，外貌；【哲学】形式 (opp ...
- dnf disjunctive normal form: 分离性标准形式
- full disjunctive normal form: 全析取范式; 全析榷式
下载手机词典可随时随地查词查翻译
disjunctive normal form中文什么意思
- 积之和范式
- 析取范式
- 析取正规形式
- 析榷式
下载手机词典可随时随地查词查翻译
百科释义
In boolean logic, a disjunctive normal form (DNF) is a standardization (or normalization) of a logical formula which is a disjunction of conjunctive clauses. As a normal form, it is useful in automated theorem proving.
详细百科解释